You have chosen works (fragments), Gentzen's Analysis of First-Order Proofs and fragments/reports.
All three must be different; choose another text.